Explicit knowledge engineering patterns with macros

نویسنده

  • Denny Vrandečić
چکیده

The web ontology language OWL is still a very young language. Experience with the language will build an increasing pool of ontology design patterns and best practises. In this paper we introduce macros for OWL ontologies. Macros are able to formally specify and capture design patterns for the knowledge engineering task with OWL ontologies. Thus the user is enabled to conveniently reuse them. Macros lead to an enhanced maintainability of the ontology, to a higher level of abstraction in the specification (and thus closer to the human conceptualization), to a faster and less error-prone creation of the ontology (and thus to lower costs) and to automation of several tedious tasks in the ontology life cycle. We present example macros, discuss further applications, advantages and problems of macros, and discuss the development of an implementation to enable the usage of macros.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reasonable Macros for Ontology Construction and Maintenance

Creating and maintaining ontology knowledge bases are difficult processes that can be improved by using macro or templating languages that help structure the ontology engineering task and reduce unnecessary repetitions of ontology patterns. However, since the templates themselves need to be created and maintained, suitable tool support for their maintenance is vital in order to ensure the quali...

متن کامل

Learning Macro-Actions for Arbitrary Planners and Domains

Many complex domains and even larger problems in simple domains remain challenging in spite of the recent progress in planning. Besides developing and improving planning technologies, re-engineering a domain by utilising acquired knowledge opens up a potential avenue for further research. Moreover, macro-actions, when added to the domain as additional actions, provide a promising means by which...

متن کامل

Learning Macro-Actions Genetically from Plans

Despite recent progress in planning, many complex domains and even larger problems in simple domains remain hard and challenging. One way to achieve further improvement is to utilise knowledge acquired for the planner from the domain. Macro-actions are a promising means by which to convey such knowledge. A macro-action, or macro in short, is a group of actions selected for application as a sing...

متن کامل

Fully-parameterized, first-class modules with hygienic macros

It is possible to define a formal semantics for configuration, elaboration, linking, and evaluation of fully-parameterized first-class modules with hygienic macros, independent compilation, and code sharing. This dissertation defines such a semantics making use of explicit substitution to formalize hygienic expansion and linking. In the module system, interfaces define the static semantics of m...

متن کامل

Abstraction and Performance from Explicit Monadic Reflection

Most of the existing literature about monadic programming focuses on theory but does not address issues of software engineering. Using monadic parsing as a running example, we demonstrate monadic programs written in a typical style, recognize how they violate abstraction boundaries, and recover clean abstraction crossings through monadic reflection. Once monadic reflection is made explicit, it ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005